A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter

Source URL: www.mhelvens.net

The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

Source URL: www.isa-afp.org

On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

Source URL: www.phil.uu.nl

A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

Source URL: www.hermit-reasoner.com

Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

Source URL: i12www.iti.kit.edu

Once  a  Future  Logic:  Peirce,  Royce,  and  the  Formal  Norms  of  Thinking     Randall  Auxier   Southern  Illinois  University  Carbondale     Abstract:

Source URL: www.unav.es

Matching Logic: A New Program Verification Approach Grigore Ro¸su Andrei S¸tef˘anescu University of Illinois at Urbana-Champaign Abstract

Source URL: fm.csl.sri.com

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model

Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr

Source URL: www.math.purdue.edu

• Mathematical analysis
• Mathematics
• Functional analysis
• Signal processing
• Operator theory
• Image compression
• Wavelet transform
• Wavelet
• Distribution
• Constructible universe
• Craig interpolation
• Linear temporal logic

ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT

Source URL: mango.ctegd.uga.edu

• Computing
• Web standards
• World Wide Web
• Web services
• Semantic Web
• Algorithm
• Mathematical logic
• Theoretical computer science
• Mediation
• Web Services Description Language
• SAWSDL
• Computational linguistics